排序方式: 共有125条查询结果,搜索用时 31 毫秒
31.
32.
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。 相似文献
33.
Deane-Peter Baker 《African Security Review》2013,22(3):54-64
Abstract The mandate of South Africa's recently appointed National Planning Commission includes addressing ‘defence and security matters’. This article seeks to outline the central elements of the threat environment facing South Africa in the foreseeable future. It is argued that South Africa faces no meaningful existential threat from conventional military forces but that its security forces will need to be prepared to address possible raids and attacks by conventional military forces both on home soil and on vital interests beyond the nation's borders. Other threats highlighted include the threats posed by potential insurgencies, by terrorism, and by crime, social unrest and banditry. Also addressed is the danger of so-called hybrid threats, in which two or more of the single threat types outlined here are combined. Finally, the article challenges the National Planning Commission to rethink South Africa's policy on peace operations in the light of the need to ensure the safety and security of the nation's citizenry. 相似文献
34.
为满足陆军装备对电源保障的特殊要求,提出了一种由发动机-发电机组、电功率变换器、蓄电池、交流电机驱动系统组成的新型机动电源保障平台,对平台中主要子系统进行了设计和开发,完成了一吨级4×4混合动力新型机动电源保障平台的研制。试验结果表明:研究成果不仅实现了保障平台机动能力强、功能多等要求,而且具有良好的操控性。 相似文献
35.
针对运动模糊图像复原问题中点扩展函数难以准确获得和图像反卷积的病态性,提出了一种基于混合编码曝光相机的运动模糊复原框架.混合编码曝光相机由一个高速双目立体相机和一个高分辨率编码曝光相机构成.编码曝光相机在其曝光过程中由一个二进制编码控制其快门的开关状态.双目立体摄像机作为一个运动传感器在编码相机曝光的开始、中间和结束时... 相似文献
36.
在混合对策理论的基础上,将空战过程看作是由一系列离散的状态组成的离散事件动态系统,建立了空战过程的离散状态子模型,利用空战态势指数和战机空战能力指数构造了战术评估函数,以完成对战术动作的筛选工作,并结合3DOF质点模型设计了机动指令生成器,实现对无人机运动状态的控制,并在Matlab环境下对机动实例进行了仿真. 相似文献
37.
38.
提出了一种基于混杂端口(hybridport)的VLAN设计方案。通过这种方式设计,在提高网络安全性的同时,避免了IP地址紧缺的问题。最后给出了基于华为交换机的混杂端口VLAN设计方案。 相似文献
39.
Statistical analysis for masked system life data from Marshall‐Olkin Weibull distribution under progressive hybrid censoring 下载免费PDF全文
This paper considers the statistical analysis of masked data in a series system, where the components are assumed to have Marshall‐Olkin Weibull distribution. Based on type‐I progressive hybrid censored and masked data, we derive the maximum likelihood estimates, approximate confidence intervals, and bootstrap confidence intervals of unknown parameters. As the maximum likelihood estimate does not exist for small sample size, Gibbs sampling is used to obtain the Bayesian estimates and Monte Carlo method is employed to construct the credible intervals based on Jefferys prior with partial information. Numerical simulations are performed to compare the performances of the proposed methods and one data set is analyzed. 相似文献
40.
潘仲明 《国防科技大学学报》2001,23(5):112-116
采用Guauss Seidel模型参数调整法 ,建立了辅助车闸位置控制装置的动态数学模型。在此基础上 ,运用超稳定理论设计了模型参考自适应位置控制系统 ,并在基于MATLAB软件包的硬件在环系统仿真平台上 ,进行系统的软、硬件混合仿真研究。试验表明理论仿真结果和系统实时响应吻合。从而 ,为在复杂环境下控制车速、车距提供了有效的实验技术手段和简捷的系统控制方法 相似文献